Why do you think this is a problem? It calls match-method with a widened box arg?

BUG! Original code updates args for use later in the method:

			args = widenBoxedArgs(args);
			m = matchMethod(methods, args, argTypes);

This actually isn't a bug since widen-boxed-args also updates the args and returns it

Oh yes, now I see it. It does create a new array and then it sets the args for the next portion of the method... BUG!

I'm not sure if this will really result in a bug though. It'd be interested to extract a test case for this one to see where it currently fails.

Since the args are widened to find the correct method, e.g. Double -> whatever instead of Float -> whatever. But then later the Float argument is boxed and passed to the method which may just work...?

Here is an example that this will just work out ok I think:

(ns reflect-example
  (:import [java.lang Math]
           [java.lang.reflect Method]))

;; Get the Method object for Math.pow(double, double)
(def m (.getMethod Math "pow" (into-array Class [Double/TYPE Double/TYPE])))

;; Float value
(def f (float 3.0))
(prn (type f))

;; Attempt to invoke with Float (boxed) arguments
(try
  (.invoke m nil (into-array Object [f (float 1.0)]))
  (catch IllegalArgumentException e
    (println "Caught exception:" (.getMessage e))))

Here we can see that it works in bb:

$ ./bb -e '(Math/pow (float 1.33) (float 2.0))'
1.7689001141548175

I'll ask in clojure-dev. We could make widen-box-args mutate the original array if we want re-assigment.